(a b c)

((george))

((y1 y2))

(y1 y2)

#f

#f

#t
